Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
91	Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Formal methods Logic in computer science Object-oriented programming Postcondition Precondition Class invariant Design by contract Assertion Constructor Class Invariant Loop invariant
92	Abstract Interpretation: Exercises for day 3 [Note: you are welcome to program these exercises in groups of 2] February 4, Implement the Parity analysis of the 3 counter machine in OCaml, including pretty printin Add to Reading List Source URL: janmidtgaard.dk Language: English - Date: 2015-02-03 18:23:35 OCaml Abstract interpretation FO
93	Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-11-15 04:17:50 Computer arithmetic Abstract interpretation Interval arithmetic Rounding Floating point Affine arithmetic Interval Function Limit of a function NaN Fixed-point arithmetic Machine epsilon
94	TreeKs: a Functor to Make Abstract Numerical Domains Scalable Mehdi Bouaziz ´ Ecole normale sup´erieure, Paris Add to Reading List Source URL: mehdi.bouaziz.org Language: English - Date: 2014-01-23 20:24:46 Abstract interpretation Functor Sheaf
95	Context-Sensitive Analysis of Obfuscated x86 Executables ∗ Arun Lakhotia† Davidson R. Boccardo‡ † Add to Reading List Source URL: www.cacs.louisiana.edu Language: English - Date: 2009-11-13 12:16:34 Symbol Abstract interpretation Determinacy Pointer Stack Data-flow analysis Low-level programming language Formal languages
96	arXiv:1303.1148v1 [math.RT] 5 MarCHROMATIC POLYNOMIALS OF GRAPHS FROM KAC-MOODY ALGEBRAS R. VENKATESH AND SANKARAN VISWANATH Abstract. We give a new interpretation of the chromatic polynomial of a Add to Reading List Source URL: www.math.tifr.res.in Language: English - Date: 2013-03-12 03:59:43 Differential topology Generalised Whitehead product Homotopy theory Symbol
97	Partial Evaluation for Program Analysis Daniel Damian Progress Report (revised version) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Logic in computer science Programming language implementation Compiler optimizations Theoretical computer science Programming language semantics Compiler Semantics Denotational semantics Abstract interpretation Static program analysis Programming language Control flow analysis
98	Value Analysis Frama-C’s value analysis plug-in AluminiumPascal Cuoq and Boris Yakobowski with Matthieu Lemerre, André Maroneze, Valentin Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:34 Subroutines Frama-C Data types Abstract interpretation Parameter Pointer Expected value Constant
99	Symbolic execution - model equivalence & applications Matei Popovici, Radu Stoenescu, Lorina Negreanu, Costin Raiciu University Politehnica of Bucharest 1. NETWORK SYMBOLIC EXECUTION Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:03 Abstract interpretation Symbolic execution Program optimization APL Concolic testing
100	Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Computer arithmetic Abstract interpretation Floating point Interval arithmetic Fluctuat Rounding Infinite loop Affine arithmetic Lookup table Recursion Division algorithm Fixed-point arithmetic

UPDATE